الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 3 /3
978-3-540-31872-9
Advanced Functional Programming

This volume contains the revised lecture notes corresponding to nine of thelecture courses presented at the 5th International ...

اقرأ المزيد
978-3-540-47813-3
Verification, Model Checking, and Abstract Interpretation

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

اقرأ المزيد
978-3-540-30579-8
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

اقرأ المزيد
عدد الكتب: 1 - 3 /3